invariant factor matrix

不变商矩阵